$\forall$$A$:es\_realizer\{i:l\}. ($\uparrow$Rinit?($A$)) $\Rightarrow$ (Rinit{-}discrete($A$) $\in$ $\mathbb{B}$)